#include <iostream>
using namespace std;

extern void print(const char *);

